$\forall$${\it as}$:Top List. null(${\it as}$) $\in$ $\mathbb{B}$